Thank you for replying. The next morning when I started up Opera again, Duck Duck Go was the default search engine. Not sure what happened, as I had tried many things -- relaunching in safe mode, switching to Google (Opera's default) and then back to Duck Duck Go, closing Opera and re-opening, etc.... but it's all working fine now.